Autolink - Putting SDL-Based Test Generation Into Practice
نویسندگان
چکیده
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements. The first big challenge for Autolink was the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink which were developed during this project. We also present future enhancements which will further ease the work of test suite developers.
منابع مشابه
Autolink -putting Formal Test Methods into Practice
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL speciication and MSC requirements. The rst big challenge for Autolink has been the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol and the improvements of Autolink whi...
متن کاملTest Generation with Autolink and Testcomposer
Testing of telecommunication systems is a major concern in industry and standardization. Therefore, the two major SDL tool vendors have integrated automatic test generation tools into their software development suites. While Telelogic has added Autolink to the Tau tools, former Verilog has extended ObjectGeode with TestComposer. Even though both tools are based on the same concepts, many featur...
متن کاملAutolink: A Tool for Automatic Test Generation from SDL Specifications
Due to an increasing interest in SDL, MSC and TTCN based tools for validation and test generation, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck are cooperating in a research and development project aiming at bringing new test generation facilities to the Tau tool set. For that purpose, a software component has been developed which supports the automatic g...
متن کاملA Tool for the Automatic and Semi - Automatic Test
Due to increasing interest in validation and test generation tools, Telelogic AB, Malmm o, and the Institute for Telematics of the University of L ubeck have started a research and development project which aims at bringing new test generation facilities to the Tau tool set. For that purpose, a software component is developed which supports the automatic and semi-automatic generation of TTCN te...
متن کاملSDL and MSC based test generation for distributed test architectures
Most of the SDL and MSC based test generation methods and tools produce non-concurrent TTCN test cases only. If the test equipment itself is a distributed system, the implementation of such test cases is a diicult task and requires a substantial amount of additional work. In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speciications and MSC tes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998